A Boolean function FU is defined over fu\(hydom as
follows:
.LP
for f in fu\(hydom
.LP
FU(f)\ =\ true:
if and only if the functional unit f has been
selected during the session connection
establishment phase.
.PP
The value is set when the ACCEPT SPDU is sent or
received.
.sp 1P
.LP
A.5.2
\fITokens\fR
.sp 9p
.RT
.PP
The set of all tokens specified in this Recommendation is defined as:
.RT
.LP
tk\(hydom = {mi, ma, tr, dk}
.LP
where
.LP
mi
=\ synchronize\(hyminor token
.LP
ma
=\ major/activity token
.LP
tr
=\ release token
.LP
dk
=\ data token
.PP
The following Boolean functions are defined over tk\(hydom:
.LP
a)
AV(t), for t in tk\(hydom, is a function which defines the
availability of the corresponding token and has the
following values:
.LP
AV(mi)
=\ FU(SY)
.LP
AV(dk)
=\ FU(HD)
.LP
AV(tr)
=\ FU(NR)
.LP
AV(ma)
=\ FU(MA) or FU(ACT)
.LP
b)
OWNED(t), for t in tk\(hydom, is a function which defines the assignment
of the corresponding token and is defined as:
.LP
OWNED(t)\ =\ true:
if token assigned to the SPM
.LP
OWNED(t)\ =\ false:
if token not assigned to the SPM
.bp
.LP
OWNED(t) is not defined if AV(t) = false. OWNED(t) is set
when:
.LP
1)
the ACCEPT SPDU is sent or received; or
.LP
2)
the RESYNCHRONIZE ACK SPDU is sent or received; or
.LP
3)
the GIVE TOKENS SPDU is sent or received; or
.LP
4)
the GIVE TOKENS CONFIRM SPDU is sent or received;
.LP
5)
the ACTIVITY INTERRUPT ACK SPDU is sent or
received;
.LP
6)
the ACTIVITY DISCARD ACK SPDU is sent or
received.
.LP
c)
I(t), for t in tk\(hydom, is a function which, when true,
indicates that the SPM has \fII\fR nitiating rights for the
behaviour controlled by the token. This applies even if the
corresponding token is not available:
.LP
I(t)\ =\ \*\|iAV(t) OR OWNED(t)
.LP
d)
A(t), for t in tk\(hydom, is a function which, when true,
indicates that the SPM has \fIA\fR ccepting rights for the
behaviour controlled by the token. This applies even if the
corresponding token is not available:
.LP
A(t)\ =\ \*\|iAV(t) OR \ \*\|iOWNED(t)
.LP
e)
II(t), for t in tk\(hydom, is a function which, when true,
indicates that the SPM has \fII\fR nitiating rights as I(t),
but this applies to the case when the behaviour may only
be initiated if the corresponding token is available
and owned:
.LP
II(t)\ =\ AV(t) AND OWNED(t)
.LP
f
)
AA(t), for t in tk\(hydom, is a function which, when
true, indicates that the SPM has \fIA\fR ccepting rights as A(t),
but only if the corresponding token is available, but not
owned:
.LP
AA(t)\ =\ AV(t) AND\ \*\|iOWNED(t)
.sp 1P
.LP
A.5.3
\fISET of tokens\fR
.sp 9p
.RT
.PP
The following subsets of tk\(hydom are defined:
.RT
.LP
RT
=\ {tokens requested in the input event}
.LP
GT
=\ {tokens given in the input event}
.PP
For the purpose of the following function definitions, two further set
are defined:
.LP
F
=\ {AV, OWNED, I, A, II, AA} (the set of functions
defined in \(sc\ A.5.2);
.LP
S
=\ the set of subsets of tk\(hydom.
.PP
The following functions are defined over F and S:
.LP
a)
ALL(f, s) for f in F and s in S:
.LP
ALL(f,\ s)\ =\ true:
all of the f(t) for t in s
are true or s is empty.
.LP
For example:
.LP
ALL(A,\ tk\(hydom)\ =\ true:
none of the available tokens
are owned (e.g.\ on receipt
of a FINISH SPDU).
.LP
b)
ANY(f, s), for f in F and s in S:
.LP
ANY(f,\ s)\ =\ true:
any f(t) = true for t in s
when s is not empty.
.LP
For example:
.LP
ANY(II, tk\(hydom)\ =\ true:
at least one of the
available tokens is
owned.
.sp 2P
.LP
A.5.4
\fIVariables\fR
.sp 1P
.RT
.sp 1P
.LP
A.5.4.1\ \ \fITEXP\fR
.sp 9p
.RT
.PP
TEXP is a Boolean variable having the following values:
.RT
.LP
TEXP\ =\ true:
use of transport expedited service is
selected for use on this session
connection.
.LP
TEXP\ =\ false:
use of transport expedited service is not
selected for use on this session
connection.
.bp
.sp 1P
.LP
A.5.4.2\ \ \fIVact\fR
.sp 9p
.RT
.PP
Vact is a Boolean variable having the following values when the
activity management functional unit has been selected
(FU(ACT)\ =\ true):
.RT
.LP
Vact\ =\ true:
an activity is in progress;
.LP
Vact\ =\ false:
no activity is in progress;
.PP
Vact has no defined value if FU(ACT) = false.
.PP
Vact is set as follows:
.RT
.LP
a)
Vact is set false during the connection establishment
phase, if the activity management functional unit has been
selected (FU(ACT)\ =\ true). Otherwise, Vact is not set;
.LP
b)
Vact is set true when the ACTIVITY START SPDU or ACTIVITY
RESUME SPDU is sent or received (only possible when
FU(ACT)\ =\ true);
.LP
c)
Vact is set false when the ACTIVITY DISCARD ACK SPDU or
ACTIVITY INTERRUPT ACK SPDU is sent or received;
.LP
d)
Vact is set to Vnextact when a MAJOR SYNC ACK SPDU or an
ACTIVITY END ACK SPDU is sent or received.
.sp 1P
.LP
A.5.4.3\ \ \fIVnextact\fR
.sp 9p
.RT
.PP
Vnextact is a Boolean variable which is used when the activity
management functional unit has been selected (FU(ACT) = true). It is used to
indicate the next value of Vact when a MAJOR SYNC ACK SPDU or an ACTIVITY
END ACK SPDU is sent or received. Vnextact is set when a MAJOR SYNC POINT
SPDU or an ACTIVITY END SPDU is sent or received:
.RT
.LP
a)
Vnextact is set false if FU(ACT) = true and an
ACTIVITY END SPDU is sent or received;
.LP
b)
Vnextact is set true if FU(ACT) = true and a MAJOR
SYNC POINT SPDU is sent or received.
.PP
Vnextact has not defined value if FU(ACT) = false.
.sp 1P
.LP
A.5.4.4\ \ \fIVrsp and Vrspnb\fR
.sp 9p
.RT
.PP
These variables are used to resolve resynchronization
collisions.
.PP
Vrsp indicates what kind of resynchronization is currently in
progress:
.RT
.LP
Vrsp\ =\ no
no resynchronization in progress
.LP
Vrsp\ =\ a
resynchronize abandon
.LP
Vrsp\ =\ r
resynchronize restart
.LP
Vrsp\ =\ s
resynchronize set
.LP
Vrsp\ =\ dsc
discard activity
.LP
Vrsp\ =\ int
interrupt activity
.PP
Vrspnb indicates the serial number in the case of resynchronize
restart.
.PP
Vrsp and, if necessary Vrspnb, are set when a RESYNCHRONIZE SPDU,
ACTIVITY INTERRUPT SPDU or an ACTIVITY DISCARD SPDU is sent or received.
Vrsp is set to no when the SPM goes to STA\ 713.
.RT
.sp 1P
.LP
A.5.4.5\ \ \fISPMwinner\fR
.sp 9p
.RT
.PP
SPMwinner is a Boolean function which is used during
resynchronization collision, that is when:
.RT
.LP
a)
a RESYNCHRONIZE SPDU is received and Vrsp is not equal
to no;
.LP
b)
an S\(hyRESYNCHRONIZE request is received and Vrsp is not
equal to no.
.PP
The SPMwinner condition is true if the SPM (which holds the
current resynchronization) wins against the new colliding event.
.bp
.PP
The SPMwinner condition is calculated as follows:
.RT
.LP
a)
the next Vrsp and Vrspnb values are evaluated according
to the parameters of the received event. The new calculated
value for Vrsp is compared to the current Vrsp with the
following ordering rule:
.LP
dsc
prevails over\ int
.LP
int
prevails over\ a
.LP
a
prevails over\ s
.LP
s
prevails over\ r
.LP
If both are equal to r, then the new calculated value for
Vrspnb is compared to the current value of Vrspnb and the
lower value prevails;
.LP
b)
If the current value of Vrsp (and Vrspnb if necessary)
prevails, then the SPMwinner condition is true (in this
case, the current resynchronization prevails over the
colliding one);
.LP
c)
If the current value of Vrsp (and Vrspnb if necessary)
does not prevail, then the SPMwinner condition is false
(in this case, the colliding resynchronization prevails over
the current one);
.LP
d)
If the above comparison results in the equality and if the
colliding event has been generated by the initiator of the
session connection (either a RESYNCHRONIZE SPDU was received
from the session connection initiator or a local
S\(hyRESYNCHRONIZE request was issued by the session connection
initiator), then the SPMwinner condition is false.
.PP
If the SPM is winner (SPMwinner condition is true) then the
current resynchronization wins against the colliding one and Vrsp and Vrspnb
are not updated.
.PP
If the SPM is not winner (SPMwinner condition is false) then the
colliding resynchronization is taken into account and Vrsp and Vrspnb are
updated.
.RT
.sp 1P
.LP
A.5.4.6\ \ \fIVtca\fR
.sp 9p
.RT
.PP
Vtca is a Boolean variable having the following
values:
.RT
.LP
Vtca\ =\ false:
the SPM initiated the T\(hyCONNECT request
(transport connection initiator);
.LP
Vtca\ =\ true:
the SPM received the T\(hyCONNECT indication
(transport connection acceptor).
.sp 1P
.LP
A.5.4.7\ \ \fIVtrr\fR
.sp 9p
.RT
.PP
Vtrr is a Boolean variable having the following
values:
.RT
.LP
Vtrr\ =\ true:
the transport connection can be reused by
the SPM for another session connection;
.LP
Vtrr\ =\ false:
the transport connection cannot be reused
by the SPM for another session connection.
.sp 1P
.LP
A.5.4.8\ \ \fIVcoll\fR
.sp 9p
.RT
.PP
Vcoll is a Boolean variable having the following values:
.RT
.LP
Vcoll\ =\ true:
a collision of FINISH SPDUs has been
detected;
.LP
Vcoll\ =\ false:
there has not been a collision of FINISH
SPDUs.
.PP
This variable is set false during the session connection
establishment phase.
.sp 1P
.LP
A.5.4.9\ \ \fIVdnr\fR
.sp 9p
.RT
.PP
Vdnr is a Boolean variable having the following values:
.RT
.LP
Vdnr\ =\ true:
a DISCONNECT SPDU has been received in STA09
(following a collision of FINISH SPDUs);
.LP
Vdnr\ =\ false:
no DISCONNECT SPDU has been received.
.PP
This variable is set to false during the session connection
establishment phase.
.bp
.sp 1P
.LP
A.5.4.10\ \ \fIV(A)\fR
.sp 9p
.RT
.PP
V(A) is used by the SPM and is the lowest serial number to which
a synchronization point confirmation is expected. No confirmation is expected
when V(A)\ =\ V(M).
.RT
.sp 1P
.LP
A.5.4.11\ \ \fIV(M)\fR
.sp 9p
.RT
.PP
V(M) is used by the SPM and is the next serial number to be
used.
.RT
.sp 1P
.LP
A.5.4.12\ \ \fIV(R)\fR
.sp 9p
.RT
.PP
V(R) is used by the SPM and is the lowest serial number to which
resynchronization restart is permitted.
.RT
.sp 1P
.LP
A.5.4.13\ \ \fIVsc\fR
.sp 9p
.RT
.PP
Vsc is a Boolean variable having the following values:
.RT
.LP
Vsc\ =\ true:
the SS\(hyuser has the right to issue minor
synchronization point responses when
V(A) is less than V(M);
.LP
Vsc\ =\ false:
the SS\(hyuser does not have the right to
issue minor synchronization point
responses.
.PP
Vsc is set false during the connection establishment phase and
when a MINOR SYNC POINT
SPDU is sent. Vcs is set true when a MINOR SYNC POINT SPDU is received.
.PP
\fINote\fR \ \(em\ Table\ A\(hy4/X.225 summarizes the operations on V(A),
V(M), V(R) and Vsc.
.RT
.LP
.rs
.sp 28P
.ad r
Blanc
.ad b
.RT
.LP
.bp
.ce
\fBH.T. [1T47.225]\fR
.ce
TABLE\ A\(hy1/X.225
.ce
\fBIncoming Events\fR
.ps 9
.vs 11
.nr VS 11
.nr PS 9
.TS
center box;
cw(42p) | cw(66p) | cw(120p) .
Abbreviated name Category Name and description
_
.T&
lw(42p) | lw(66p) | lw(120p) .
SACTDreq SS\(hyuser T{
S\(hyACTIVITY\(hyDISCARD request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SACTDrsp SS\(hyuser T{
S\(hyACTIVITY\(hyDISCARD response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SACTEreq SS\(hyuser T{
S\(hyACTIVITY\(hyEND request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SACTErsp SS\(hyuser T{
S\(hyACTIVITY\(hyEND response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SACTIreq SS\(hyuser T{
S\(hyACTIVITY\(hyINTERRUPT request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SACTIrsp SS\(hyuser T{
S\(hyACTIVITY\(hyINTERRUPT response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SACTRreq SS\(hyuser T{
S\(hyACTIVITY\(hyRESUME request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SACTSreq SS\(hyuser T{
S\(hyACTIVITY\(hySTART request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SCDreq SS\(hyuser T{
S\(hyCAPABILITY\(hyDATA request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SCDrsp SS\(hyuser T{
S\(hyCAPABILITY\(hyDATA response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SCGreq SS\(hyuser T{
S\(hyCONTROL\(hyGIVE request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SCONreq SS\(hyuser T{
S\(hyCONNECT request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SCONrsp+ SS\(hyuser T{
S\(hyCONNECT (accept) response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SCONrsp\(em SS\(hyuser T{
S\(hyCONNECT (reject) response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SDTreq SS\(hyuser S\(hyDATA request primitive
.T&
lw(42p) | lw(66p) | lw(120p) .
SEXreq SS\(hyuser T{
S\(hyEXPEDITED\(hyDATA request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SGTreq SS\(hyuser T{
S\(hyTOKEN\(hyGIVE request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SPTreq SS\(hyuser T{
S\(hyTOKEN\(hyPLEASE request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SRELreq SS\(hyuser T{
S\(hyRELEASE request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SRELrsp+ SS\(hyuser T{
S\(hyRELEASE (accept) response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SRELrsp\(em SS\(hyuser T{
S\(hyRELEASE (reject) response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SRSYNreq(a) SS\(hyuser T{
S\(hyRESYNCHRONIZE (abandon) request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SRSYNreq(r) SS\(hyuser T{
S\(hyRESYNCHRONIZE (restart) request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SRSYNreq(s) SS\(hyuser T{
S\(hyRESYNCHRONIZE (set) request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SRSYNrsp SS\(hyuser T{
S\(hyRESYNCHRONIZE response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SSYNMreq SS\(hyuser T{
S\(hySYNC\(hyMAJOR request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SSYNMrsp SS\(hyuser T{
S\(hySYNC\(hyMAJOR response primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SSYNmreq SS\(hyuser T{
S\(hySYNC\(hyMINOR request primitive
T}
_
.TE
.nr PS 9
.RT
.ad r
\fBTableau A\(hy1/X.225, [1T47.225] p.1\fR
.sp 1P
.RT
.ad b
.RT
.LP
.bp
.ce
\fBH.T. [2T47.225]\fR
.ce
TABLE\ A\(hy1/X.225 \fI(cont.)\fR
.ps 9
.vs 11
.nr VS 11
.nr PS 9
.TS
center box;
cw(42p) | cw(66p) | cw(120p) .
Abbreviated name Category Name and description
_
.T&
lw(42p) | lw(66p) | lw(120p) .
SSYNmrsp SS\(hyuser T{
S\(hySYNC\(hyMINOR response primitive
\fR
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
STDreq SS\(hyuser T{
S\(hyTYPED\(hyDATA request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SUABreq SS\(hyuser T{
S\(hyU\(hyABORT request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
SUERreq SS\(hyuser T{
S\(hyU\(hyEXCEPTION\(hyREPORT request primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
TCONind TS\(hyprovider T{
T\(hyCONNECT indication primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
TCONcnf TS\(hyprovider T{
T\(hyCONNECT confirm primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
TDISind TS\(hyprovider T{
T\(hyDISCONNECT indication primitive
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
TIM Timer Time out
.T&
lw(42p) | lw(66p) | lw(120p) .
AA SPDU ABORT ACCEPT SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
AB\(hynr SPDU ABORT (not reuse) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
AB\(hyr SPDU ABORT (reuse) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
AC SPDU ACCEPT SPDU (see Note\ 1)
.T&
lw(42p) | lw(66p) | lw(120p) .
AD SPDU ACTIVITY DISCARD SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
ADA SPDU ACTIVITY DISCARD ACK SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
AE SPDU ACTIVITY END SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
AEA SPDU ACTIVITY END ACK SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
AI SPDU ACTIVITY INTERRUPT SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
AIA SPDU ACTIVITY INTERRUPT ACK SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
AR SPDU ACTIVITY RESUME SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
AS SPDU ACTIVITY START SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
CD SPDU CAPABILITY DATA SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
CDA SPDU CAPABILITY DATA ACK SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
CDO SPDU CONNECT DATA OVERFLOW SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
CN SPDU CONNECT SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
DN SPDU DISCONNECT SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
DT SPDU DATA TRANSFER SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
ED SPDU EXCEPTION DATA SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
ER SPDU EXCEPTION REPORT SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
EX SPDU EXPEDITED DATA SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
FN\(hynr SPDU FINISH (not reuse) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
FN\(hyr SPDU FINISH (reuse) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
GT SPDU T{
GIVE TOKENS SPDU with Token Item parameter
(see Note\ 2)
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
GTA SPDU GIVE TOKENS ACK SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
GTC SPDU GIVE TOKENS CONFIRM SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
MAA SPDU MAJOR SYNC ACK SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
MAP SPDU MAJOR SYNC POINT SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
MIA SPDU MINOR SYNC ACK SPDU
_
.TE
.nr PS 9
.RT
.ad r
\fBTableau A\(hy1/X.225, [2T47.225] p.2\fR
.sp 1P
.RT
.ad b
.RT
.LP
.bp
.ce
\fBH.T. [3T47.225]\fR
.ce
TABLE\ A\(hy1/X.225 \fI(end)\fR
.ps 9
.vs 11
.nr VS 11
.nr PS 9
.TS
center box;
cw(42p) | cw(66p) | cw(120p) .
Abbreviated name Category Name and description
_
.T&
lw(42p) | lw(66p) | lw(120p) .
MIP SPDU MINOR SYNC POINT SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
NF SPDU NOT FINISHED SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
OA SPDU OVERFLOW ACCEPT SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
PR\(hyAB SPDU PREPARE (ABORT) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
PR\(hyMAA SPDU PREPARE (MAJOR SYNC ACK) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
PR\(hyRA SPDU T{
PREPARE (RESYNCHRONIZE ACK) SPDU
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
PR\(hyRS SPDU PREPARE (RESYNCHRONIZE) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
PT SPDU T{
PLEASE TOKENS SPDU with Token Item parameter
(see Notes 1 and\ 2)
T}
.T&
lw(42p) | lw(66p) | lw(120p) .
RA SPDU RESYNCHRONIZE ACK SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
RF\(hynr SPDU REFUSE (not reuse) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
RF\(hyr SPDU REFUSE (reuse) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
RS\(hya SPDU RESYNCHRONIZE (abandon) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
RS\(hyr SPDU RESYNCHRONIZE (restart) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
RS\(hys SPDU RESYNCHRONIZE (set) SPDU
.T&
lw(42p) | lw(66p) | lw(120p) .
TD SPDU T{
TYPED DATA SPDU
\fINote\ 1\fR
\ \(em\ If the Token Item parameter is present in the ACCEPT SPDU, both the AC event and the PT event occur.
.parag
\fINote\ 2\fR
\ \(em\ GIVE TOKENS SPDU without Token Item parameter and PLEASE TOKENS SPDU without Token Item parameter are used to herald a concatenated sequence of
SPDUs Concatenation of SPDUs and separation of TSDUs are not handled by the
state tables.
.parag
T}
_
.TE
.nr PS 9
.RT
.ad r
\fBTableau A\(hy1/X.225, [3T47.225] p.3\fR
.sp 1P
.RT
.ad b
.RT
.LP
.rs
.sp 19P
.ad r
Blanc
.ad b
.RT
.LP
.bp
.ce
\fBH.T. [T48.225]\fR
.ce
TABLE\ A\(hy2/X.225
.ce
\fBStates\fR
.ps 9
.vs 11
.nr VS 11
.nr PS 9
.TS
center box;
cw(48p) | cw(180p) .
Abbreviated name Name and description
_
.T&
lw(48p) | lw(180p) .
STA 01 Idle, no transport connection
.T&
lw(48p) | lw(180p) .
STA 01A T{
Wait for the ABORT ACCEPT SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 01B Wait for T\(hyCONNECT confirm
.T&
lw(48p) | lw(180p) .
STA 01C Idle, transport connected
.T&
lw(48p) | lw(180p) .
STA 01D T{
Wait for the CONNECT DATA OVERFLOW SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 02A Wait for the ACCEPT SPDU
.T&
lw(48p) | lw(180p) .
STA 02B T{
Wait for the OVERFLOW ACCEPT SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 03 Wait for the DISCONNECT SPDU
.T&
lw(48p) | lw(180p) .
STA 04A T{
Wait for the MAJOR SYNC ACK SPDU or PREPARE (MAJOR SYNC ACK) SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 04B T{
Wait for the ACTIVITY END ACK SPDU or PREPARE (MAJOR SYNC ACK) SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 05A T{
Wait for the RESYNCHRONIZE ACK SPDU or PREPARE (RESYNCHRONIZE ACK)
SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 05B T{
Wait for the ACTIVITY INTERRUPT ACK SPDU or PREPARE
(RESYNCHRONIZE
ACK) SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 05C T{
Wait for the ACTIVITY DISCARD ACK SPDU or PREPARE
(RESYNCHRONIZE
ACK) SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 06 T{
Wait for the RESYNCHRONIZE SPDU [resynchronization collision after
receiving PREPARE (RESYNCHRONIZE) SPDU]
T}
.T&
lw(48p) | lw(180p) .
STA 08 T{
Wait for S\(hyCONNECT response
T}
.T&
lw(48p) | lw(180p) .
STA 09 T{
Wait for S\(hyRELEASE response
T}
.T&
lw(48p) | lw(180p) .
STA 10A T{
Wait for S\(hySYNC\(hyMAJOR response
T}
.T&
lw(48p) | lw(180p) .
STA 10B T{
Wait for S\(hyACTIVITY\(hyEND response
T}
.T&
lw(48p) | lw(180p) .
STA 11A T{
Wait for S\(hyRESYNCHRONIZE response
T}
.T&
lw(48p) | lw(180p) .
STA 11B T{
Wait for S\(hyACTIVITY\(hyINTERRUPT response
T}
.T&
lw(48p) | lw(180p) .
STA 11C T{
Wait for S\(hyACTIVITY\(hyDISCARD response
T}
.T&
lw(48p) | lw(180p) .
STA 15A T{
After PREPARE, wait for the MAJOR SYNC ACK SPDU or the ACTIVITY END ACK
SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 15B T{
After PREPARE, wait for the RESYNCHRONIZE SPDU or the ACTIVITY INTERRUPT SPDU or the ACTIVITY DISCARD SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 15C T{
After PREPARE, wait for the RESYNCHRONIZE ACK SPDU or the ACTIVITY
INTERRUPT ACK SPDU or the ACTIVITY DISCARD ACK SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 15D T{
After PREPARE, wait for the ABORT SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 16 T{
Wait for T\(hyDISCONNECT indication
T}
.T&
lw(48p) | lw(180p) .
STA 18 T{
Wait for the GIVE TOKENS ACK SPDU
T}
.T&
lw(48p) | lw(180p) .
STA 19 T{
Wait for a recovery request or SPDU (initiator of EXCEPTION DATA